$\forall$$w$:World, $e$:E. ($\uparrow$first($e$)) $\Rightarrow$ ($\forall$$t$:$\mathbb{N}$. ($t$ $<$ time($e$)) $\Rightarrow$ ($\uparrow$isnull(a(loc($e$);$t$))))